#include <linuxmt/config.h>
#include <linuxmt/kernel.h>
#include <arch/io.h>

/*
 * NMI handler
 */

void nmi_handler(int irq, struct pt_regs *regs)
{
    printk("NMI FAULT\n");

#ifdef CONFIG_ARCH_PC98
    if (inb(0x33) & 0x02)
        printk("Extended slot memory parity error\n");

    outb(0x08,0x37); /* Disable parity check to clear the error */
    outb(0x09,0x37); /* Enable parity check */
#endif
}
